[next] [prev] [prev-tail] [tail] [up]

2.2.9 Integrals 801 to 900

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

278 290 199 1009 0 848 0 4178 0

N.S.

1 1.04 0.72 3.63 0.00 3.05 0.00 15.03 0.00

time (sec)

N/A 0.459 10.278 0.585 0.000 1.965 0.000 13.003 0.000

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

388 386 256 1377 0 1106 0 4500 0

N.S.

1 0.99 0.66 3.55 0.00 2.85 0.00 11.60 0.00

time (sec)

N/A 0.536 10.395 0.587 0.000 5.848 0.000 3.103 0.000

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 147 103 604 0 670 0 292 0

N.S.

1 1.17 0.82 4.79 0.00 5.32 0.00 2.32 0.00

time (sec)

N/A 0.240 0.285 1.735 0.000 0.308 0.000 0.381 0.000

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

445 497 447 3425 0 2954 0 1536 0

N.S.

1 1.12 1.00 7.70 0.00 6.64 0.00 3.45 0.00

time (sec)

N/A 0.673 1.082 0.604 0.000 2.451 0.000 1.132 0.000

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

341 395 328 2748 0 2474 0 1249 0

N.S.

1 1.16 0.96 8.06 0.00 7.26 0.00 3.66 0.00

time (sec)

N/A 0.521 0.730 0.603 0.000 1.153 0.000 0.871 0.000

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 279 200 2089 0 2066 0 896 0

N.S.

1 1.16 0.83 8.67 0.00 8.57 0.00 3.72 0.00

time (sec)

N/A 0.382 0.327 1.725 0.000 0.805 0.000 0.637 0.000

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 211 92 141 0 448 0 771 0

N.S.

1 1.12 0.49 0.75 0.00 2.37 0.00 4.08 0.00

time (sec)

N/A 0.307 0.209 0.600 0.000 0.591 0.000 0.548 0.000

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 187 133 162 0 468 0 769 248

N.S.

1 1.01 0.72 0.87 0.00 2.52 0.00 4.13 1.33

time (sec)

N/A 0.290 0.173 1.744 0.000 0.596 0.000 0.550 2.107

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 169 133 157 0 468 0 829 238

N.S.

1 1.07 0.84 0.99 0.00 2.96 0.00 5.25 1.51

time (sec)

N/A 0.232 0.172 0.605 0.000 0.619 0.000 0.532 1.967

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 156 118 135 0 447 0 670 224

N.S.

1 1.16 0.87 1.00 0.00 3.31 0.00 4.96 1.66

time (sec)

N/A 0.204 0.028 1.738 0.000 0.572 0.000 0.413 1.928

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 302 200 2033 0 2078 0 942 0

N.S.

1 1.20 0.79 8.07 0.00 8.25 0.00 3.74 0.00

time (sec)

N/A 0.408 0.359 0.602 0.000 2.075 0.000 1.223 0.000

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

352 407 328 2703 0 2506 0 1272 0

N.S.

1 1.16 0.93 7.68 0.00 7.12 0.00 3.61 0.00

time (sec)

N/A 0.568 0.522 1.748 0.000 5.257 0.000 2.719 0.000

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

462 522 452 3392 0 2996 0 1901 0

N.S.

1 1.13 0.98 7.34 0.00 6.48 0.00 4.11 0.00

time (sec)

N/A 0.677 0.868 0.609 0.000 11.149 0.000 14.190 0.000

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 23 0 15 0 33 0

N.S.

1 1.00 1.00 0.82 0.00 0.54 0.00 1.18 0.00

time (sec)

N/A 0.144 0.014 0.600 0.000 0.223 0.000 0.286 0.000

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 23 0 15 0 21 0

N.S.

1 1.00 1.00 0.82 0.00 0.54 0.00 0.75 0.00

time (sec)

N/A 0.141 0.004 1.738 0.000 0.228 0.000 0.281 0.000

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A C C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 23 0 13 53 12 0

N.S.

1 1.00 1.00 1.00 0.00 0.57 2.30 0.52 0.00

time (sec)

N/A 0.134 0.022 0.598 0.000 0.221 0.863 0.271 0.000

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A C C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 22 53 14 37 7 0

N.S.

1 1.00 1.00 0.92 2.21 0.58 1.54 0.29 0.00

time (sec)

N/A 0.135 0.006 1.436 0.209 0.222 0.865 0.278 0.000

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 22 28 14 20 5 21

N.S.

1 1.00 1.00 0.85 1.08 0.54 0.77 0.19 0.81

time (sec)

N/A 0.137 0.005 0.605 0.230 0.219 0.885 0.281 1.178

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 23 60 15 88 5 22

N.S.

1 1.00 1.00 0.82 2.14 0.54 3.14 0.18 0.79

time (sec)

N/A 0.136 0.005 1.754 0.207 0.231 0.992 0.276 1.121

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 36 31 15 42 97 14 31

N.S.

1 1.00 1.00 0.86 0.42 1.17 2.69 0.39 0.86

time (sec)

N/A 0.146 0.011 0.610 0.203 0.232 1.479 0.292 1.455

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 25 8 10 19 5 24

N.S.

1 1.00 1.00 0.96 0.31 0.38 0.73 0.19 0.92

time (sec)

N/A 0.137 0.010 1.815 0.196 0.225 3.345 0.283 1.052

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 25 8 10 19 5 24

N.S.

1 1.00 1.00 0.96 0.31 0.38 0.73 0.19 0.92

time (sec)

N/A 0.137 0.003 1.779 0.192 0.219 1.745 0.279 1.020

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 25 26 5 7 44 1 21

N.S.

1 1.00 1.19 1.24 0.24 0.33 2.10 0.05 1.00

time (sec)

N/A 0.133 0.110 1.465 0.204 0.220 1.507 0.280 1.327

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C C F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

22 22 22 36 6 8 44 0 0

N.S.

1 1.00 1.00 1.64 0.27 0.36 2.00 0.00 0.00

time (sec)

N/A 0.135 0.002 1.793 0.206 0.224 3.720 0.000 0.000

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 25 8 10 17 0 24

N.S.

1 1.00 1.00 1.04 0.33 0.42 0.71 0.00 1.00

time (sec)

N/A 0.135 0.002 1.800 0.198 0.223 1.228 0.000 1.104

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 25 8 10 20 0 24

N.S.

1 1.00 1.00 0.96 0.31 0.38 0.77 0.00 0.92

time (sec)

N/A 0.133 0.002 1.826 0.197 0.221 2.707 0.000 1.059

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 34 33 21 18 80 1586 0

N.S.

1 1.00 1.00 0.97 0.62 0.53 2.35 46.65 0.00

time (sec)

N/A 0.140 0.004 1.941 0.209 0.237 37.815 0.406 0.000

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 81 56 89 0 80 0 49 0

N.S.

1 1.04 0.72 1.14 0.00 1.03 0.00 0.63 0.00

time (sec)

N/A 0.172 0.203 0.604 0.000 0.221 0.000 0.293 0.000

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 57 51 83 0 75 0 44 0

N.S.

1 0.93 0.84 1.36 0.00 1.23 0.00 0.72 0.00

time (sec)

N/A 0.157 0.087 1.752 0.000 0.238 0.000 0.301 0.000

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 46 69 0 71 0 38 0

N.S.

1 1.00 1.12 1.68 0.00 1.73 0.00 0.93 0.00

time (sec)

N/A 0.151 0.079 0.588 0.000 0.227 0.000 0.288 0.000

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 15 38 33 60 19 34

N.S.

1 1.00 1.00 0.75 1.90 1.65 3.00 0.95 1.70

time (sec)

N/A 0.134 0.006 1.715 0.198 0.239 0.803 0.297 1.119

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 13 34 31 60 12 27

N.S.

1 1.00 1.00 0.72 1.89 1.72 3.33 0.67 1.50

time (sec)

N/A 0.131 0.031 1.751 0.208 0.218 0.794 0.305 1.112

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 46 87 70 71 0 117 0

N.S.

1 1.00 0.78 1.47 1.19 1.20 0.00 1.98 0.00

time (sec)

N/A 0.161 0.099 0.598 0.199 0.224 0.000 0.325 0.000

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 88 54 95 86 84 0 211 0

N.S.

1 1.01 0.62 1.09 0.99 0.97 0.00 2.43 0.00

time (sec)

N/A 0.192 0.125 1.776 0.203 0.229 0.000 0.355 0.000

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 116 59 100 100 95 0 258 0

N.S.

1 1.04 0.53 0.89 0.89 0.85 0.00 2.30 0.00

time (sec)

N/A 0.217 0.177 0.610 0.190 0.223 0.000 0.354 0.000

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 34 40 27 32 0 30 194

N.S.

1 1.00 1.31 1.54 1.04 1.23 0.00 1.15 7.46

time (sec)

N/A 0.143 0.099 1.768 0.201 0.234 0.000 0.273 7.893

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 12 7 11 76 11 67

N.S.

1 1.00 1.00 0.80 0.47 0.73 5.07 0.73 4.47

time (sec)

N/A 0.131 0.028 1.446 0.206 0.226 1.567 0.286 2.674

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

2 2 18 31 14 18 39 16 2

N.S.

1 1.00 9.00 15.50 7.00 9.00 19.50 8.00 1.00

time (sec)

N/A 0.121 0.021 0.599 0.209 0.216 0.548 0.283 0.980

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 18 28 7 18 56 20 49

N.S.

1 1.00 1.12 1.75 0.44 1.12 3.50 1.25 3.06

time (sec)

N/A 0.137 0.029 1.457 0.293 0.220 12.789 0.275 2.262

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 11 17 58 21 14

N.S.

1 1.00 1.00 0.83 0.61 0.94 3.22 1.17 0.78

time (sec)

N/A 0.131 0.037 0.601 0.270 0.225 4.458 0.289 1.214

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 50 51 52 37 40 0 70 362

N.S.

1 1.11 1.13 1.16 0.82 0.89 0.00 1.56 8.04

time (sec)

N/A 0.146 0.080 1.453 0.202 0.227 0.000 0.294 7.725

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 13 9 17 0 39 17

N.S.

1 1.00 1.00 0.72 0.50 0.94 0.00 2.17 0.94

time (sec)

N/A 0.134 0.032 0.600 0.203 0.222 0.000 0.283 1.291

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 38 46 27 32 131 41 30

N.S.

1 1.00 1.46 1.77 1.04 1.23 5.04 1.58 1.15

time (sec)

N/A 0.139 0.040 1.449 0.203 0.227 1.721 0.297 1.135

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 32 35 13 30 0 32 116

N.S.

1 1.00 0.94 1.03 0.38 0.88 0.00 0.94 3.41

time (sec)

N/A 0.148 0.044 0.615 0.295 0.224 0.000 0.300 2.203

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 36 44 27 36 0 40 109

N.S.

1 1.00 1.64 2.00 1.23 1.64 0.00 1.82 4.95

time (sec)

N/A 0.135 0.050 0.608 0.294 0.230 0.000 0.287 2.103

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 20 57 22 23 27 20 28

N.S.

1 1.00 1.25 3.56 1.38 1.44 1.69 1.25 1.75

time (sec)

N/A 0.134 0.023 1.446 0.286 0.220 0.531 0.272 0.387

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 31 53 20 46 0 42 118

N.S.

1 1.00 0.89 1.51 0.57 1.31 0.00 1.20 3.37

time (sec)

N/A 0.149 0.079 0.618 0.300 0.226 0.000 0.289 5.462

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 33 42 15 44 58 54 0

N.S.

1 1.00 0.94 1.20 0.43 1.26 1.66 1.54 0.00

time (sec)

N/A 0.153 0.059 1.791 0.320 0.231 73.227 0.283 0.000

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 15 15 11 19 0 43 19

N.S.

1 1.00 0.75 0.75 0.55 0.95 0.00 2.15 0.95

time (sec)

N/A 0.129 0.002 1.445 0.304 0.219 0.000 0.287 1.106

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 166 89 99 121 82 0 173 0

N.S.

1 1.14 0.61 0.68 0.83 0.56 0.00 1.18 0.00

time (sec)

N/A 0.230 0.316 0.615 0.305 0.236 0.000 0.311 0.000

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 27 94 38 31 0 25 53

N.S.

1 1.00 1.23 4.27 1.73 1.41 0.00 1.14 2.41

time (sec)

N/A 0.150 0.038 1.786 0.196 0.218 0.000 0.289 1.108

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 63 90 0 0 99 0 0

N.S.

1 1.00 0.84 1.20 0.00 0.00 1.32 0.00 0.00

time (sec)

N/A 0.181 0.902 1.494 0.000 0.000 10.425 0.000 0.000

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 66 92 0 16 95 0 0

N.S.

1 1.00 0.86 1.19 0.00 0.21 1.23 0.00 0.00

time (sec)

N/A 0.178 0.022 1.805 0.000 0.069 11.482 0.000 0.000

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 66 92 0 27 109 0 0

N.S.

1 1.00 0.76 1.06 0.00 0.31 1.25 0.00 0.00

time (sec)

N/A 0.185 0.019 1.499 0.000 0.067 11.406 0.000 0.000

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 26 32 0 0 95 0 0

N.S.

1 1.00 0.87 1.07 0.00 0.00 3.17 0.00 0.00

time (sec)

N/A 0.143 10.032 1.815 0.000 0.000 10.302 0.000 0.000

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 29 34 0 13 92 0 0

N.S.

1 1.00 0.88 1.03 0.00 0.39 2.79 0.00 0.00

time (sec)

N/A 0.144 10.028 1.797 0.000 0.069 11.475 0.000 0.000

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 29 34 0 24 105 0 0

N.S.

1 1.00 0.69 0.81 0.00 0.57 2.50 0.00 0.00

time (sec)

N/A 0.151 10.020 2.040 0.000 0.066 11.501 0.000 0.000

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 23 29 0 6 78 0 0

N.S.

1 1.00 0.96 1.21 0.00 0.25 3.25 0.00 0.00

time (sec)

N/A 0.136 10.022 0.630 0.000 0.068 10.761 0.000 0.000

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 26 21 0 6 82 0 0

N.S.

1 1.00 0.96 0.78 0.00 0.22 3.04 0.00 0.00

time (sec)

N/A 0.139 10.021 1.742 0.000 0.067 11.467 0.000 0.000

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 26 29 0 14 88 0 0

N.S.

1 1.00 0.72 0.81 0.00 0.39 2.44 0.00 0.00

time (sec)

N/A 0.146 10.021 0.632 0.000 0.064 10.969 0.000 0.000

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 44 24 0 6 66 0 0

N.S.

1 1.00 4.40 2.40 0.00 0.60 6.60 0.00 0.00

time (sec)

N/A 0.135 0.448 1.771 0.000 0.072 10.382 0.000 0.000

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 44 43 0 6 0 0 0

N.S.

1 1.00 4.40 4.30 0.00 0.60 0.00 0.00 0.00

time (sec)

N/A 0.146 0.003 1.478 0.000 0.065 0.000 0.000 0.000

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 27 32 0 24 94 0 0

N.S.

1 1.00 0.82 0.97 0.00 0.73 2.85 0.00 0.00

time (sec)

N/A 0.152 10.023 0.655 0.000 0.068 11.246 0.000 0.000

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 89 64 0 86 0 0 0

N.S.

1 1.00 2.34 1.68 0.00 2.26 0.00 0.00 0.00

time (sec)

N/A 0.151 3.374 1.823 0.000 0.070 0.000 0.000 0.000

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 64 39 0 16 0 0 0

N.S.

1 1.00 6.40 3.90 0.00 1.60 0.00 0.00 0.00

time (sec)

N/A 0.132 0.451 1.794 0.000 0.073 0.000 0.000 0.000

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 64 56 0 16 0 0 0

N.S.

1 1.00 6.40 5.60 0.00 1.60 0.00 0.00 0.00

time (sec)

N/A 0.146 0.002 1.459 0.000 0.068 0.000 0.000 0.000

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 52 49 0 52 0 0 0

N.S.

1 1.00 1.58 1.48 0.00 1.58 0.00 0.00 0.00

time (sec)

N/A 0.145 0.714 0.624 0.000 0.071 0.000 0.000 0.000

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 102 129 0 223 0 0 0

N.S.

1 1.00 2.68 3.39 0.00 5.87 0.00 0.00 0.00

time (sec)

N/A 0.147 3.790 2.351 0.000 0.083 0.000 0.000 0.000

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 40 25 0 16 0 0 0

N.S.

1 1.00 1.67 1.04 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.143 0.451 0.609 0.000 0.069 0.000 0.000 0.000

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B C B F C F(-2) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 49 66 49 0 16 0 0 0

N.S.

1 2.04 2.75 2.04 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.166 10.037 1.788 0.000 0.071 0.000 0.000 0.000

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 52 33 0 51 0 0 0

N.S.

1 1.00 1.41 0.89 0.00 1.38 0.00 0.00 0.00

time (sec)

N/A 0.154 0.723 0.624 0.000 0.067 0.000 0.000 0.000

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 112 67 0 222 0 0 0

N.S.

1 1.00 2.67 1.60 0.00 5.29 0.00 0.00 0.00

time (sec)

N/A 0.155 3.901 1.791 0.000 0.078 0.000 0.000 0.000

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 72 112 0 78 0 0 0

N.S.

1 1.00 1.41 2.20 0.00 1.53 0.00 0.00 0.00

time (sec)

N/A 0.164 2.298 1.519 0.000 0.066 0.000 0.000 0.000

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F C F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 125 212 0 211 0 0 0

N.S.

1 1.00 2.45 4.16 0.00 4.14 0.00 0.00 0.00

time (sec)

N/A 0.158 3.338 1.816 0.000 0.075 0.000 0.000 0.000

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

752 114 72 0 0 0 0 0 0

N.S.

1 0.15 0.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.189 10.047 0.000 0.000 0.000 0.000 0.000 0.000

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

727 84 72 0 0 0 0 0 0

N.S.

1 0.12 0.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.176 10.055 0.000 0.000 0.000 0.000 0.000 0.000

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

720 77 44 0 0 0 0 0 0

N.S.

1 0.11 0.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.162 10.027 0.000 0.000 0.000 0.000 0.000 0.000

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

695 49 38 0 0 0 0 0 0

N.S.

1 0.07 0.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.144 10.016 0.000 0.000 0.000 0.000 0.000 0.000

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

671 26 26 0 0 0 41 0 0

N.S.

1 0.04 0.04 0.00 0.00 0.00 0.06 0.00 0.00

time (sec)

N/A 0.135 0.007 0.000 0.000 0.000 0.743 0.000 0.000

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

99 99 141 0 0 296 0 0 0

N.S.

1 1.00 1.42 0.00 0.00 2.99 0.00 0.00 0.00

time (sec)

N/A 0.176 0.447 0.000 0.000 1.037 0.000 0.000 0.000

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

796 158 74 0 0 0 0 0 0

N.S.

1 0.20 0.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.222 21.061 0.000 0.000 0.000 0.000 0.000 0.000

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

821 181 84 0 0 0 0 0 0

N.S.

1 0.22 0.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.230 21.049 0.000 0.000 0.000 0.000 0.000 0.000

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

340 311 233 0 0 2370 0 0 0

N.S.

1 0.91 0.69 0.00 0.00 6.97 0.00 0.00 0.00

time (sec)

N/A 0.395 10.461 0.000 0.000 0.333 0.000 0.000 0.000

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

268 267 124 0 0 1814 0 0 0

N.S.

1 1.00 0.46 0.00 0.00 6.77 0.00 0.00 0.00

time (sec)

N/A 0.343 10.104 0.000 0.000 0.277 0.000 0.000 0.000

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

188 204 175 0 0 1262 0 0 0

N.S.

1 1.09 0.93 0.00 0.00 6.71 0.00 0.00 0.00

time (sec)

N/A 0.272 9.781 0.000 0.000 0.250 0.000 0.000 0.000

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

127 156 123 0 0 686 0 0 0

N.S.

1 1.23 0.97 0.00 0.00 5.40 0.00 0.00 0.00

time (sec)

N/A 0.227 0.028 0.000 0.000 0.237 0.000 0.000 0.000

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

169 212 97 0 0 391 0 0 0

N.S.

1 1.25 0.57 0.00 0.00 2.31 0.00 0.00 0.00

time (sec)

N/A 0.291 10.042 0.000 0.000 0.274 0.000 0.000 0.000

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

131 128 129 0 0 693 0 0 0

N.S.

1 0.98 0.98 0.00 0.00 5.29 0.00 0.00 0.00

time (sec)

N/A 0.219 3.821 0.000 0.000 0.239 0.000 0.000 0.000

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

194 179 106 0 0 1279 0 0 0

N.S.

1 0.92 0.55 0.00 0.00 6.59 0.00 0.00 0.00

time (sec)

N/A 0.258 10.040 0.000 0.000 0.256 0.000 0.000 0.000

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

266 261 155 0 0 1831 0 0 0

N.S.

1 0.98 0.58 0.00 0.00 6.88 0.00 0.00 0.00

time (sec)

N/A 0.369 10.059 0.000 0.000 0.276 0.000 0.000 0.000

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

368 354 212 0 0 2386 0 0 0

N.S.

1 0.96 0.58 0.00 0.00 6.48 0.00 0.00 0.00

time (sec)

N/A 0.467 10.100 0.000 0.000 0.339 0.000 0.000 0.000

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

234 234 123 454 0 169 0 0 0

N.S.

1 1.00 0.53 1.94 0.00 0.72 0.00 0.00 0.00

time (sec)

N/A 0.378 0.565 0.998 0.000 0.227 0.000 0.000 0.000

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

213 208 116 449 0 164 0 0 0

N.S.

1 0.98 0.54 2.11 0.00 0.77 0.00 0.00 0.00

time (sec)

N/A 0.351 0.371 0.806 0.000 0.237 0.000 0.000 0.000

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C C F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

186 183 107 443 0 159 41 0 0

N.S.

1 0.98 0.58 2.38 0.00 0.85 0.22 0.00 0.00

time (sec)

N/A 0.328 0.185 0.912 0.000 0.228 1.414 0.000 0.000

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

203 212 129 0 0 216 0 0 0

N.S.

1 1.04 0.64 0.00 0.00 1.06 0.00 0.00 0.00

time (sec)

N/A 0.365 0.337 0.000 0.000 0.242 0.000 0.000 0.000

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 69 63 383 0 95 0 0 0

N.S.

1 1.11 1.02 6.18 0.00 1.53 0.00 0.00 0.00

time (sec)

N/A 0.173 0.276 1.135 0.000 0.233 0.000 0.000 0.000

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 97 71 384 0 106 0 0 0

N.S.

1 1.07 0.78 4.22 0.00 1.16 0.00 0.00 0.00

time (sec)

N/A 0.188 0.318 1.064 0.000 0.232 0.000 0.000 0.000

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 125 76 394 0 112 0 0 0

N.S.

1 1.10 0.67 3.46 0.00 0.98 0.00 0.00 0.00

time (sec)

N/A 0.211 0.367 1.108 0.000 0.244 0.000 0.000 0.000

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 153 81 394 0 117 0 0 0

N.S.

1 1.12 0.59 2.88 0.00 0.85 0.00 0.00 0.00

time (sec)

N/A 0.238 0.424 1.064 0.000 0.240 0.000 0.000 0.000

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

259 272 228 0 0 1812 0 0 0

N.S.

1 1.05 0.88 0.00 0.00 7.00 0.00 0.00 0.00

time (sec)

N/A 0.357 0.881 0.000 0.000 0.280 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]